<?php
/**
 * Created by PhpStorm.
 * User: Administrator
 * Date: 2017/1/3
 * Time: 17:13
 */
$str = "Hello World!";
echo $str . "<br>";
echo ltrim($str,"Hello")."<br>";
echo bcadd("10","29");